org.nuxeo.search.ui.theme default